package logique.solveur;


public interface SolveurInitial extends Solveur {

	abstract public void construireProgSansOpt();
	
}